Type Inference Against Races
نویسندگان
چکیده
The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supplied type annotations. This paper describes a type inference algorithm for rccjava. Due to the interaction of parameterized classes and dependent types, this type inference problem is NP-complete. This complexity result motivates our new approach to type inference, which is via reduction to propositional satisfiability. This paper describes our type inference algorithm and its performance on programs of up to 30,000 lines of code.
منابع مشابه
تفکیک فاکتورهای بیماری زایی در پنج نژاد پر آزار زنگ زرد گندم (Puccinia striiformis f.sp. tritici) و شناسایی منابع مقاومت نسبت به آنها
Identifying the virulence factors of stripe rust (Puccinia striiformis f. sp. tritici) disease, awareness of numbers and identification of resistance genes in wheat breeding materials, accelerate the process of producing the resistance cultivars which are sustained against different races. To study the genetic and pathogenic and non-pathogenic spectrum of genes, five hot races of stripe rust wh...
متن کاملAre the dominant and recessive plant disease resistance genes similar? A case study of rice R genes and Xanthomonas oryzae pv. oryzae races.
The resistance of rice to its bacterial blight pathogen Xanthomonas oryzae pv. oryzae (Xoo) has both qualitative and quantitative components that were investigated using three near-isogenic line sets for four resistance (R) genes (Xa4, xa5, xa13, and Xa21) and 12 Xoo races. Our results indicate that these two resistance components of rice plants were associated with the properties of the R gene...
متن کاملInference for the location and scale parameters of the Rayleigh distribution under type-II double censoring
This article has no abstract.
متن کاملThe Genetic Structure of a Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (sauria, Phrynosomatidae) in Central Mexico.
The F5 (2n = 34) and FM2 (2n = 44-46) chromosome races of the Sceloporus grammicus complex form a parapatric hybrid zone in the Mexican state of Hidalgo, characterized by steep concordant clines among three diagnostic chromosome markers across a straight-line distance of about 2 km. Here, we show that this zone is actually structured into local patches in which hybridization extends over an ext...
متن کاملReproductive Isolation between Host Races of Phytomyza glabricola on Ilex coriacea and I. glabra
Recently diverged taxa often show discordance in genetic divergence among genomic loci, where some loci show strong divergence and others show none at all. Genetic studies alone cannot distinguish among the possible mechanisms but experimental studies on other aspects of divergence may provide guidance in the inference of causes of observed discordances. In this study, we used no-choice mating ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Sci. Comput. Program.
دوره 64 شماره
صفحات -
تاریخ انتشار 2004